Make documentation build works outside of git repository
authorJean Baptiste Favre <debian@jbfavre.org>
Mon, 26 Jul 2021 20:59:59 +0000 (21:59 +0100)
committerMoritz Mühlenhoff <jmm@debian.org>
Mon, 26 Jul 2021 20:59:59 +0000 (21:59 +0100)
commit62f227e9d20b7c5740bd5e7329a9743ff62f8450
tree2f2e70a3f3bf7e1907bdcc41fc58a48eadc25897
parentbe7948af0d6662895b28c9ddb7adf40ceb93fb67
Make documentation build works outside of git repository

Origin: other
Last-Update: 2019-01-03

Current documentation build requires git and curl to get some stuff from the internet
This patch aims to delete those dependencies, forcing git branch to master,
and using Debian provided plantuml instead of downloading it from apache mirror
Last-Update: 2019-01-03
Gbp-Pq: Name 0006-fix-doc-build.patch
doc/Makefile.am
doc/ext/traffic-server.py
doc/manpages.py
doc/uml/Makefile.am